symbolic logic中文是什么意思

发音:

用"symbolic logic"造句"symbolic logic"怎么读"symbolic logic" in a sentence"symbolic logic"的同义词

中文翻译手机版

【数学】符号逻辑，数理逻辑。

"symbolic"中文翻译 adj. 记号的，符号的；象征的。
"logic"中文翻译 n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
"journal of symbolic logic" 中文翻译 : 符号逻辑学报
"model of symbolic logic" 中文翻译 : 符号逻辑模型
"symbolic" 中文翻译 : adj. 记号的，符号的；象征的。
"the symbolic" 中文翻译 : 象徵界
"-logic" 中文翻译 : -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
"and logic" 中文翻译 : “与”逻辑
"logic" 中文翻译 : n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
"logic-and" 中文翻译 : 逻辑“与”
"or logic" 中文翻译 : 或逻辑
"acta symbolic" 中文翻译 : 符号学报
"address symbolic" 中文翻译 : 符号位址
"addressing, symbolic" 中文翻译 : 符号寻址
"assembler symbolic" 中文翻译 : 符号组合器
"assembly symbolic" 中文翻译 : 符号组合
"debugger, symbolic" 中文翻译 : 符号除错器
"expression symbolic" 中文翻译 : 符号表式
"reasoning, symbolic" 中文翻译 : 符号推论法
"s symbolic model" 中文翻译 : 布鲁纳象征性模式
"symbolic address" 中文翻译 : 【电脑】符号地址。
"symbolic addressing" 中文翻译 : 符号编址; 符号地址法; 符号选址; 符号寻址
"symbolic algebra" 中文翻译 : 符号代数
"symbolic algorithm" 中文翻译 : 符号算法
"symbolic algorithms" 中文翻译 : 符号算法

例句与用法

In fact , the debate is caused by logic view , i . e . traditional logical and modern symbolic logic
有人称其无，有人说其有，还有归纳派和演绎派的形同水火。
George boole was an english mathematician who helped establish the field of mathematics called symbolic logic
乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。
I am taking introductory guitar course right now and i will have another symbolic logic course starting on 5 / 28
我现在在上吉他入门课，从5 / 28开始还会有一门符号逻辑学的课。
This dissertation detailedly investigate the symbolic logic and some typical techniques for low power fsm logic synthesis and optimization
论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。
Toshio umezawa . on logics intermediate between intuitionistic and classical predicate logic . journal of symbolic logic , 24 ( 2 ) : 141 ? 153 , june 1959
中间逻辑是一个与逻辑学相关的小作品。你可以通过编辑或修订扩充其内容。
As a new branch of logic , semi - symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system , which is both rigorous and easily to understand
摘要半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。

用"symbolic logic"造句

英文解释

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
同义词：mathematical logic, formal logic,